Logic-Programming Related Call for Papers

Contents
Back to top
TABLEAUX 2007
Aix en Provence, France, July 3-6, 2007

http://tableaux2007.univ-cezanne.fr/

IMPORTANT DATES 

Workshop proposal submission deadline: December 5, 2006
Notification of acceptance of workshops: December 15, 2006
Tutorial proposal submission deadline: January 10, 2007
Notification of acceptance of tutorials: January 20, 2007
Title and abstract submission deadline: February 2, 2007
Paper submission deadline: February 9, 2007
Notification of acceptance of papers: April 2, 2007
Final version of papers due: April 16, 2007
Conference: July 3-6, 2007

GENERAL INFORMATION

This conference is the 16th in a series of international meetings on Automated Reasoning with Analytic Tableaux and Related Methods.
In July 2007, the conference will be held in Aix en Provence, France. The conference proceedings will be published in LNAI series as in the previous editions of the conference.
See http://tableaux2007.univ-cezanne.fr/ for more information on TABLEAUX 2007, and http://i12www.ira.uka.de/TABLEAUX for information about the TABLEAUX conference series.

TOPICS

Tableau methods are a convenient formalism for automating deduction in various non-standard logics as well as in classical logic. Areas of application include verification of software and computer systems, deductive databases, knowledge representation and its required inference engines, and system diagnosis. The conference brings together researchers interested in all aspects - theoretical foundations, implementation techniques, systems development and applications - of the mechanization of reasoning with tableaux and related methods.
Topics of interest include (but are not restricted to):
 TABLEAUX 2007 puts a special emphasis on applications. Papers describing applications of tableaux and related methods in areas such as,  for example, hardware and software verification,  knowledge engineering,  semantic web, etc. are particularly invited.
One or more tutorials and workshops will be part of the conference program.

SUBMISSIONS

The conference will include contributed papers, tutorials, system descriptions, position papers and invited lectures. Submissions are invited in four categories:
A  Research papers (reporting original theoretical and/or experimental research, up to 15 pages)
B  System descriptions (up to 5 pages)
C  Position papers and brief reports on work in progress
D  Tutorials in all areas of analytic tableaux and related methods from academic research to applications (proposals up to 5 pages)

Submissions in categories A and B will be reviewed by peers, typically members of the program committee. They must be unpublished and not submitted for publication elsewhere. Accepted papers in these categories will be published in the conference proceedings . For category B submissions a working implementation must exist and be available to the referees.
Submissions in category C will be reviewed by members of the program committee and a collection of the accepted papers in this category will be published as a Technical Report of the LSIS/Université Paul Cézanne. 
Tutorial submissions (Category D) may be at introductory, intermediate, or advanced levels. Novel topics and topics of broad interest are preferred. The submission should include the title, the author, the topic of the tutorial, its level, its relevance to conference topics, and a description of the interest and the scientific contents of the proposed tutorial. Tutorial proposals will be reviewed by members of the program committee.

Authors of accepted papers are expected to present their work at the conference.

CALL FOR WORKSHOP PROPOSALS

TABLEAUX 2007 launches a Call for Workshop Proposal on specialised subjects in the range of the conference topics. We can accept up to  2 proposals. The proposals are reviewed by members of the PC committee. The purpose  of a workshop is to offer an opportunity of presenting novel ideas, ongoing research, and to discuss the state of the art of an area in a less formal but more focused way than the conference itself. It is also a good opportunity for young researchers to present their own work and to obtain feedback. The format of a workshop is left to  the organizers, but it is expected to contain significant time for discussion. The intended schedule is for one-day workshops.
 Further information and instructions about submissions will be available on the conference website at http://tableaux2007.univ-cezanne.fr/.

Back to top

IEEE Symposium on Logic in Computer Science
Wroclaw, Poland, July 10-14, 2007

http://www.informatik.hu-berlin.de/lics/lics07

Theme: 

Suggested, but not exclusive, topics include:
We welcome submissions in emergent areas, such as bioinformatics and quantum computation, if they have a substantial connection with logic.

All submissions must be electronic.

Deadlines:

Paper Registration and Abstract Submission:    15 January 2007
Paper Submission:                                                22 January 2007

Programme Committee:

  Back to top

Workshop on Computing with Terms and Graphs
Braga, Portugal, March 31, 2007

http://www.termgraph.org.uk/2007

The advantage of computing with graphs rather than terms is that common subexpressions can be shared, improving the efficiency of computations in space and time. Sharing is ubiquitous in implementations of programming languages: many functional, logic, object-oriented and concurrent calculi are implemented using term graphs. Research in term and graph rewriting ranges from theoretical questions to practical implementation issues.

Topics include: the modelling of first- and higher-order term rewriting by (acyclic or cyclic) graph rewriting, the use of graphical frameworks such as interaction nets and sharing graphs (optimal reduction), rewrite calculi for the semantics and analysis of functional programs, graph reduction implementations of programming languages, graphical calculi modelling concurrent and mobile computations, object-oriented systems, graphs as a model of biological or chemical abstract machines, and automated reasoning and symbolic computation systems working on shared structures.

All submissions must be done electronically. Please email your submission to mackie@lix.polytechnique.fr

Submission Deadline : December 29 2006.

Program committee.


  Back to top

Conference on Rewriting Techniques and Applications
Paris, France, June 26-28, 2007

http://www.lsv.ens-cachan.fr/rdp07/rta.html

THEME. 

RTA is the major forum for the presentation of research on all aspects of rewriting.
Typical areas of interest include (but are not limited to):

SUBMISSIONS.

Submission categories include regular research papers and system descriptions.  Problem sets and submissions describing interesting applications of rewriting techniques are also welcome. The page limit for submissions is 15 pages in Springer LNCS style (10 pages for system descriptions). The submission Web page will be made available beginning of December. As usual, the proceedings of RTA'07 will be published in the Springer LNCS series.

IMPORTANT DATES:

Jan 26, 2007: Deadline for electronic submission of title and abstract
Jan 31, 2007: Deadline for electronic submission of papers
Apr 02, 2007: Notification of acceptance of papers
Apr 23, 2007: Deadline for final versions of accepted papers

CONFERENCE CHAIRS:


Back to top

Typed Lambda Calculi and Applications
Paris, France, July 26-28, 2007

http://www.lsv.ens-cachan.fr/rdp07/tlca.html

The TLCA series of conferences serves as a forum for presenting original research results that are broadly relevant to the theory and applications of typed calculi.
The following list of topics  is non-exhaustive: Proof-theory: Natural deduction and sequent calculi, cut elimination and normalisation, linear logic and proof nets, type-theoretic aspects of computational complexity / Semantics: Denotational semantics, game semantics, realisability, categorical models / Implementation: Abstract machines, parallel execution, optimal reduction, type systems for program optimisation/ Types: Subtypes, dependent types, type inference, polymorphism, types in theorem proving / Programming: Foundational aspects of functional and object-oriented programming, proof search and logic programming, connections between and combinations of functional and logic programming, type checking.

The programme of TLCA will consist of three invited talks and about 25 papers selected from original contributions. Accepted papers will  be published as a volume of Springer Lecture Notes in Computer Science series (http://www.springer.de/comp/lncs/index.html).

Important Dates:
December 22 Title and abstract due
January 2 Deadline for submission
March 10-15 Author review period
March 25 Notification of acceptance-rejection
April 20 Deadline for the final version

Program Committee:

Back to top

Workshop on Logic, Language, Information and Computation
Rio de Janeiro, Brasil, July 2-5, 2007

http://www.cin.ufpe.br/~wollic/wollic2007

WoLLIC is an annual international forum on inter-disciplinary research involving formal logic, computing and programming theory, and natural language and reasoning. Each meeting includes invited talks and tutorials as well as contributed papers.

PAPER SUBMISSION

Contributions are invited on all pertinent subjects, with particular interest in cross-disciplinary topics. Typical but not exclusive areas of interest are: foundations of computing and programming; novel computation models and paradigms; broad notions of proof and belief; formal methods in software and hardware development; logical approach to natural language and reasoning; logics of programs, actions and resources; foundational aspects of information organization, search, flow, sharing, and protection. Proposed contributions should be in English, and consist of a scholarly exposition accessible to the non-specialist, including motivation, background, and comparison with related works. They must not exceed 10 pages (in font 10 or higher), with up to 5 additional pages for references and technical appendices. The paper's main results must not be published or submitted for publication in refereed venues, including journals and other scientific meetings.
It is expected that each accepted paper be presented at the meeting by one of its authors.

Papers must be submitted electronically at www.cin.ufpe.br/~wollic/wollic2007/instructions.html

A title and single-paragraph abstract should be submitted by February 23, and the full paper by March 2 (firm date). Notifications are expected by April 13, and final papers for the proceedings will be due by April 27 (firm date).

STUDENT GRANTS

ASL sponsorship of WoLLIC'2007 will permit ASL student members to apply for a modest travel grant (deadline: April 1, 2007). See www.aslonline.org/studenttravelawards.html for details.

IMPORTANT DATES

February 23, 2007: Paper title and abstract deadline
March 2, 2007: Full paper deadline (firm)
April 12, 2007: Author notification
April 26, 2007: Final version deadline (firm)


Back to top

International Conference on Logic Programming
Porto, Portugal, September 8-13, 2007

http://www.dcc.fc.up.pt/iclp07

Conference Scope

Since the first conference held in Marseilles in 1982, ICLP has been the premier international conference for presenting research in logic programming. Contributions (papers and posters) are sought in all areas of logic programming including but not restricted to:
The three broad categories for submissions are:
  1. technical papers, where specific attention will be given to work providing novel integrations of the areas listed above, 
  2. application papers, where the emphasis will be on their impact on the application domain as opposed to the advancement of the the state-of-the-art of logic programming, and 
  3. posters, ideal for presenting and discussing current work not yet ready for publication, for PhD thesis summaries and research project overviews.
In addition to papers and posters, the technical program will include invited talks, tutorials, a Doctoral Consortium, and workshops.

Papers and Posters

Papers and posters must describe original, previously unpublished research, and must not simultaneously be submitted for publication elsewhere. They must be written in English. Technical papers and application papers must not exceed 15 pages in the Springer LNCS format (cf. http://www.springer.de/lncs/). The limit for posters is 2 pages in that format.

Publication

It is expected that the proceedings will be published by Springer-Verlag in the LNCS series. All accepted papers and abstracts of accepted posters will be included in the proceedings.

Important Dates

Paper registration deadline:     March 2, 2007
Submission deadline:                March 9, 2007
Notification of authors:               May 4, 2007
Camera-ready copy due:          June 8, 2007

ICLP 2007 Organization

Program Co-chairs:
Verónica Dahl and Ilkka Niemelä 
General  Chair:
Fernando Silva
Local  chair:
Ricardo Rocha 
Publicity Chair:
Salvador Abreu

Contact Address: iclp07@dcc.fc.up.pt

Program Committee:
Maurice Bruynooghe
Keith Clark
Verónica Dahl (Co-chair)
Marina De Vos
Yannis Dimopoulos
Inês Dutra
Esra Erdem
Maurizio Gabbrielli
Patricia M Hill
Katsumi Inoue
Tomi Janhunen
Tony Kusalik
Nicola Leone
Vladimir Lifschitz
Ilkka Niemelä (Co-chair)
Luís Moniz Pereira
German Puebla
Francesca Rossi
Kostis Sagonas
Peter Schachte
Torsten Schaub
Guillermo R. Simari
Tran Cao Son
Paul Tarau
Francesca Toni
Eric Villemonte de la Clergerie
David S. Warren  
Stefan Woltran

Conference Venue

ICLP 2007 will be held in the city of Porto, second largest in Portugal. Porto is located by the Douro river and the Atlantic, has a truly unique appearance with many striking bridges, a historic center classified by UNESCO as a World Heritage site, a new House of Music by Rem Koolhaas and a nice Museum of Modern Art (Museu de Serralves). Porto is also well known for the much celebrated Port wine grown in the Douro valley. The conference will feature a cruise in the Douro river along with other optional tours.

Back to top

Trends in Functional Programming
New York, NY, April 2-4, 2007

http://tltc.shu.edu/tfp2007/

The symposium on Trends in Functional Programming (TFP) is an international forum for researchers with interests in all aspects of functional programming languages,   focusing on providing a broad view of current and future trends in Functional Programming. It aspires to be a lively environment for presenting the latest research results through acceptance by extended abstracts. A formal post-symposium refereeing process then selects the best articles presented at the symposium for publication in a high-profile volume.  

TFP 2007 is co-hosted by Seton Hall University and The City College of New York (CCNY) and will be held in New York, USA, April 2-4, 2007 at the CCNY campus.  

The TFP symposium is the successor to the successful series of Scottish Functional Programming Workshops. Previous TFP symposia were held in Edinburgh, Scotland in 2003 (co-located with IFL), in Munich, Germany in 2004, in Tallinn, Estonia in 2005 (co-located with ICFP and GPCE), and in Nottingham, UK in 2006 (co-located with Types). For further general information about TFP please see the TFP homepage at http://cs.shu.edu/tfp2007/ .  

SCOPE OF THE SYMPOSIUM

The symposium recognizes that new trends may arise through various routes. As part of the Symposium's focus on trends we therefore identify the following five article   categories. High-quality articles are solicited in any of these categories:  
        Research Articles        leading-edge, previously unpublished research work
        Position Articles           on what new trends should or should not be  
        Project Articles             descriptions of recently started new projects
        Evaluation Articles      what lessons can be drawn from a finished project
        Overview Articles         summarizing work with respect to a trendy subject  
Articles must be original and not submitted for simultaneous publication to any other forum. They may consider any aspect of functional programming: theoretical, implementation-oriented, or more experience-oriented. Applications of functional programming techniques to other languages are also within the scope of the symposium.  

Articles on the following subject areas are particularly welcomed:
If you are in doubt on whether your article is within the scope of TFP, please contact the TFP 2007 program chair, Marco T. Morazan, at tfp2007@shu.edu.

BEST STUDENT PAPER AWARD  

TFP traditionally pays special attention to research students, acknowledging that students are almost by definition part of new subject trends. A prize for the best  
student paper is awarded each year.

SUBMISSION AND DRAFT PROCEEDINGS  

Acceptance of articles for presentation at the symposium is based on the review of extended abstracts (6 to 10 pages in length) by the program committee. Accepted abstracts are to be completed to full papers before the symposium for publication in the draft proceedings and on-line.  
The submission must clearly indicate to which category it belongs to: research, position, project, evaluation, or overview paper. It should also indicate whether the main author or authors are research students. Formatting details can be found at the TFP 2007 website. Submission procedures will be posted on the TFP 2007 website as the submission deadline is reached.  

The papers in the draft proceedings will also be made available on-line under the following conditions, with which all authors are asked to agree:  
    The documents distributed by this server have been provided by the
    contributing authors as a means to ensure timely dissemination of
    scholarly and technical work on a noncommercial basis. Copyright and  
    all rights therein are maintained by the authors or by other  
    copyright holders, notwithstanding that they have offered their
    works here electronically. It is understood that all persons copying  
    this information will adhere to the terms and constraints invoked by  
    each author's copyright. These works may not be reposted without the  
    explicit permission of the copyright holder.  

POST-SYMPOSIUM REFEREEING AND PUBLICATION

In addition to the draft symposium proceedings, we intend to continue the TFP tradition of publishing a high-quality subset of contributions in the Intellect series on Trends in Functional Programming. All TFP authors will be invited to submit revised papers after the symposium. These will be refereed using normal conference standards and a subset of the best papers, over all categories, will be selected for publication. Papers will be judged on their contribution to the research area with appropriate criteria applied to each category of paper.  

Student papers will be given extra feedback by the Program Committee in order to assist those unfamiliar with the publication process.

IMPORTANT DATES  

        Abstract Submission: February 1, 2007  
        Notification of Acceptance: February 20, 2007  
        Registration Deadline: March 2, 2007  
        Camera Ready Full Paper Due: March 9, 2007  
        TFP Symposium: April 2-4, 2007  

ORGANIZATION  

        Symposium Chair:        Henrik Nilsson, University of Nottingham, UK  
        Programme Chair:        Marco T. Morazan, Seton Hall University, USA  
        Treasurer:                      Greg Michaelson, Heriot-Watt University, UK
        Local Arrangements:    Marco T. Morazan, Seton Hall University, USA

Back to top

Static Analysis Symposium
Kongens Lyngby, Denmark, August 22-24, 2007

http://www.imm.dtu.dk/sas2007

Static Analysis is increasingly recognized as a fundamental tool for high performance implementations and verification of programming languages and systems. The series of Static Analysis Symposia has served as the primary venue for presentation of theoretical, practical, and application advances in the area.

The technical programme for SAS 2007 will consist of invited lectures, tutorials, panels, presentations of refereed papers, and software demonstrations. Contributions are welcome on all aspects of Static Analysis, including, but not limited to:
Submissions can address any programming paradigm, including concurrent, constraint, functional, imperative, logic and object-oriented programming. Survey papers, that present some aspect of the above topics from a new perspective, and application papers, that describe experience with industrial applications, are also welcome. Papers must describe original work, be written and presented in English, and must not substantially overlap with papers that have been published, or that are simultaneously submitted to a journal or a conference with refereed proceedings.

Submitted papers should be at most 15 pages formatted in LNCS style excluding bibliography and well-marked appendices not intended for publication). PC members are not required to read the appendices, and thus papers should be intelligible without them. The proceedings will be ublished by Springer-Verlag in the Lecture Notes in Computer Science series.

Program Committee

Organising committee

Important dates

   Submission of abstract:      March 26, 2007
   Submission of full paper:    March 30, 2007
   Notification:                          May 7, 2007
   Camera-ready version:      June 4, 2007
   Conference:                         August 22-24, 2007


Back to top

Conference on Integration of AI and OR
Brussels, Belgium, May 23-26, 2007

http://www.cs.brown.edu/sites/cpaior07

After a successful series of five international workshops (Ferrara, Paderborn, Ashford, Le Croisic, and Montreal) and three international conferences (Nice, Prague, Cork), the fourth international conference on Integration of Artificial Intelligence (AI) and Operations Research (OR) techniques in Constraint Programming for Combinatorial Optimization Problems will be held in Brussels, Belgium, in 2007.

The aim of the conference is to bring together interested researchers from constraint programming (CP), artificial intelligence (AI) and operations research (OR) to present new techniques or new applications in combinatorial optimization and to provide an opportunity for researchers in one area to learn about techniques in the others. A main objective of this conference series is also to give these researchers the opportunity to show how the integration of techniques from different fields can lead to interesting results on large and complex problems. Therefore papers that actively combine, integrate, or contrast approaches from more than one of the areas are especially solicited. High quality papers from a single area are also welcome. Finally, application papers showcasing CP/AI/OR techniques on innovative and challenging applications or experience reports on such applications are strongly encouraged.

CP-AI-OR'07 will be preceded by a Master Class where leading researchers give introductory and overview talks. This year, the topic of the Master Class will be on "Constraint-Based Scheduling". The Master Class is intended for PhD students, researchers, and practitioners.

Papers should be at most 15 pages in length, and should be prepared in the format used for the Springer Lecture Notes in Computer Science series (http://www.springer.de/comp/lncs/authors.html). The proceedings will be published in the Springer Lecture Notes in Computer Science series. All papers are to be submitted electronically in a PDF or PS format by following the instructions on the conference site.

Following the conference, authors of all accepted papers will be invited to submit substantially extended versions of their papers to a special issue of Constraints devoted to papers from CP-AI-OR'07. These papers will undergo an additional, very thorough refereeing process and a selection of the best papers will be published.


Important Dates

Submission: January 26, 2007
Notification: February 26, 2007
Camera-ready: March 7, 2007
Master Class: May 23rd, 2007


Back to top

Computability in Europe
Siena, Italy, June 18-23, 2007

http://www.mat.unisi.it/newsito/cie07.html

The programme committee of CiE 2007 cordially invites all researchers (European and non-European) in computability related areas to submit their papers (in PDF-format, max 10 pages) for presentation at CiE 2007: see the conference website (above) for the online submission procedure.

The conference proceedings will be published by Springer Lecture Notes in Computer Science (LNCS). There will also be journal special issues: APAL, JLC, TCS-C, ToCS - to which full versions of selected submissions to CiE 2007 will be invited to be submitted. For a list of conference topics see: http://www.amsta.leeds.ac.uk/~pmt6sbc/cie07.descr.html#themes

IMPORTANT DATES:

Submission of Papers: Jan. 12, 2007
Notification of Authors:  Feb.  16, 2007
Deadline for Final Revisions: Mar. 9, 2007
Deadline for Submission of Informal Presentations: Apr. 27, 2007

PLENARY AND TUTORIAL SPEAKERS:

SPECIAL SESSIONS SPEAKERS:

WOMEN IN COMPUTABILITY WORKSHOP in association with the Computer Research Association's Committee on the Status of Women in Computing Research (CRA-W) Organisers: Paola Bonizzoni, Elvira Mayordomo Speakers: Anne Condon (Vancouver), Natasha Jonoska (Florida), Carmen Leccardi (Milan), and others

CiE 2007 will be co-located with CCA 2007, the annual CCA (Computability and Complexity in Analysis) Conference (Siena, College Santa Chiara, June 16-18, 2007): http://cca-net.de/cca2007/


Back to top

Symposium on Frontiers of Combining Systems
Liverpool, U.K., September 10-12, 2007

http://www.csc.liv.ac.uk/~frocos07/

Topics

Typical topics of interest include (but are not limited to):

Background

In various areas of computer science, such as logic, computation, program development and verification, artificial intelligence, and automated reasoning, there is an obvious need for using specialised formalisms and inference mechanisms for special tasks. In order to be usable in practice, these specialised systems must be combined with each other, and they must be integrated into general purpose systems. The development of general techniques and methods for the combination and integration of special formally defined systems, as well as for the analysis and modularisation of complex systems has been initiated in many areas. The International Symposium on Frontiers of Combining Systems (FroCoS) traditionally focuses on this type of research questions and activities and aims at promoting progress in the field. The previous FroCoS's were held in Munich (1996), Amsterdam (1998), Nancy (2000), Santa Margherita Ligure (2002), and Vienna (2005). In 2004 and 2006, FroCoS joined IJCAR, the International Joint Conference on Automated Reasoning. Like its predecessors, FroCoS 2007 wants to offer a common forum for research activities in the general area of combination, modularisation and integration of systems (with emphasis on logic-based ones), and of their practical use.

Proceedings

Proceedings will be published by Springer in the Lecture Notes on Artificial Intelligence (LNAI) series.

Other Events

FroCoS will be collocated with FTP (Workshop on First-order Theorem Proving)

Important Dates

April 23, 2007:  Abstract submission deadline
April 30, 2007:  Full paper submission deadline
June 5,   2007:  Notification of acceptance
June 20,  2007:  Camera ready copies due

Submission

The programme committee seeks high-quality submissions that are original and not submitted for publication elsewhere. There are two categories of submission:
  1. Regular papers. Submissions should not exceed 15 pages and should contain original research, and sufficient detail to assess the merits and relevance of the contribution. Detailed instructions can be found at the FroCoS website.
  2. Tool descriptions. Submissions should not exceed 8 pages, and should describe the implemented tool and its novel features. Detailed instructions can be found at the FroCoS website.
Programme Chair: Frank Wolter, Liverpool, UK
Conference Chair: Boris Konev, Liverpool, UK

Programme Committee:

Back to top

Workshop on Satisfiability Modulo Theories
Berlin, Germany, July 1-2, 2007

http://www.lsi.upc.edu/~oliveras/smt07

Background

Deciding the satisfiability of first-order formulas modulo background theories, known as the Satisfiability Modulo Theories (SMT) problem, has proved to be useful in verification, compiler optimization, scheduling, and other areas.

The success of SMT techniques  depends on the development of both domain-specific decision procedures for each concrete theory (e.g. linear arithmetic, the theory of arrays, or the theory of bit-vectors) and combination methods that allow one to obtain more versatile SMT tools. These two ingredients together make SMT techniques well-suited for use in larger automated reasoning and formal verification efforts.

Aims and Scope

The aim of the workshop is to bring together researchers and users of SMT tools and techniques. Continuing with the PDPAR tradition, we especially encourage submission of papers focused on pragmatic aspects. Relevant topics include but are not limited to:

Important dates

Submission deadline                  : 23 April
Notification of acceptance/rejection : 21 May
Final version due                    : 4 June
Workshop                             : 1-2 July

Proceedings

Given the informal style of the workshop, only informal proceedings will be distributed at the workshop. We are planning to publish a selected subset of the submitted papers as post-proceedings in a special volume of the Electronic Notes in Theoretical Computer Science (ENTCS) unless the authors prefer not to.

Paper Submission and Proceedings

Following the PDPAR'06 initiative, there are two categories of submissions:
 Papers in both categories will be peer-reviewed. Papers should not exceed 10 pages (Postscript or PDF) and should be written in LaTeX, 11pt, one column, a4paper, standard margins. Technical details may be included in an appendix to be read at the reviewers' discretion. Full submission guidelines are at the workshop web page.

Program Chairs

Sava Krstic, Intel Corporation
Albert Oliveras, Tech. Univ. of Catalonia

Program Committee


Back to top

Workshop on Rule-based Programming
Paris, France, June 29, 2007

http://www.lsv.ens-cachan.fr/rdp07/rule.html

Scope

Rule-based programming provides a framework that facilitates viewing computation as a sequence of changes transforming a complex shared structure such as a term, graph, proof, or constraint store. In rule-based languages, a set of abstractions and primitive operations typically provide sophisticated mechanisms for recognizing and manipulating structures. In a classical setting, a rule-based program consists of a collection of (conditional) rewrite rules together with a partially-explicit specification of how the rule collection should be applied to a given structure.

Due to theoretical and technological advances, rule-based programming techniques are being incorporated into a wide range of research areas including: Generative
Programming, Aspect-Oriented Programming, Software Maintenance, Reverse Engineering, Domain Specific Language Development, and Information Assurance (e.g., security, testing, etc.). Oftentimes, the ad hoc incorporation of rule-based techniques into a particular area or problem domain raises general issues that warrant further study. Related to this is a growing need to share foundational infrastructure (e.g., parsers, pretty printers, etc.) between rule-based systems. The goal of this workshop is to
foster the exchange of ideas within the rule-based programming community.

Topics

We solicit original papers on all topics related to rule-based programming including:

Program Committee

Proceedings

Accepted papers will be published in the preliminary proceedings volume, which will be available during the workshop. The final proceedings are expected to be published in Electronic Notes in Theoretical Computer Science (ENTCS), Elsevier.

Submissions

Papers (of at most 15 pages) should be submitted electronically via the web-based submission site. Any problems with the submission procedure should be reported to one of the PC chairs: Joost Visser (joost.visser@di.uminho.pt) or Victor Winter (vwinter@mail.unomaha.edu).

Important Dates

Sunday 25th March, 2007        Deadline for electronic submission of papers
Sunday 6th May, 2007                Notification of acceptance of papers       
Sunday 20th May, 2007                Deadline for final versions of accepted papers
Friday 29th June, 2007                Workshop   


Back to top

Calculemus
Linz, Austria, June 27-30, 2007

http://www.risc.uni-linz.ac.at/about/conferences/Calculemus2007/

General 

Calculemus is a series of conferences dedicated to the integration of computer algebra systems (CAS) and automated deduction systems (ADS) towards the development of universal mathematical assistant systems (MAS).

Currently, symbolic computation is divided into several (more or less) independent branches, traditional ones (e.g. computer algebra and theorem proving) as well as newly emerging ones (on user interfaces, knowledge management, theory exploration, etc.). The main concern of the Calculemus community is to bring these developments together in order to facilitate the theory, design, and implementation of integrated MAS that will routinely be used by mathematicians, computer scientists, and engineers in their every-day business.

For the upcoming Calculemus meeting, which will be held jointly with MKM2007 in Hagenberg, Austria, we seek original research papers in this context.

Scope

The scope of Calculemus covers all aspects of developing mathematical assistant systems, in particular, the interplay of automated reasoning and computer algebra. Potential areas of interest are:

Keynote Speakers

Thomas Hales, University of Pittsburgh
John Harrison, Intel Inc.
Peter Paule, RISC-Linz

Important Dates

February 12, 2007: Submission deadline
March 12, 2007: Notification of acceptance
March 26, 2007: Camera ready copies due
June 27--30, 2007: Calculemus 2007 in Hagenberg, Austria

Submission

Please submit your full paper of at most 12 pages prepared with the standard LNCS class style as pdf or ps file via http://www.easychair.org/CALCULEMUS07/
on or before February 12, 2007. Detailed formating instructions can be found on the Calculemus website.

Proceedings

Accepted papers will be published in the LNAI series of Springer.

Program Committee

Workshops

The conference will be accompanied by several satellite workshops, which are currently under negotiation. Watch out for up-to-date information on our website.                                


Back to top

Coordination Models and Languages
Paphos, Cyprus, June 6-8, 2007

http://www.discotec07.cs.ucy.ac.cy/

Modern information systems rely increasingly on combining concurrent, distributed, real-time, reconfigurable and heterogeneous components. New models, architectures, languages, and verification techniques are necessary to cope with the complexity induced by the demands of today's software development.  COORDINATION aims to explore the spectrum of languages, middleware, services, and algorithms that separate behavior from interaction, therefore increasing modularity, simplifying reasoning, and ultimately enhancing software development.

Topics of interest:

PROGRAM COMMITTEE

Nadia Busi          University of Bologna, IT
Vinny Cahill        Trinity, IE
Paolo Ciancarini    University of Bologna, IT
William Cook        University of Texas, Austin, US
John Field          IBM, US
Chris Gill          Washington University, US
Aniruddha Gokhale   Vanderbilt, US
Chris Hankin        Imperial College, UK
Mike Hicks          University of Maryland, US
Valerie Issarny     INRIA, FR
Christoph Kirsch    University of Salzburg, AT
Doug Lea            SUNY Oswego, US
Toby Lehman         IBM, US
Alberto Montresor   University of Trento, IT
Amy L. Murphy       ITC-IRST, IT & U. of Lugano, CH (Co-chair)
Oscar Nierstrasz    University of Bern, CH
Anna Philippou      University of Cyprus, CY
Ernesto Pimentel    University of Malaga, ES
Giovanni Russello   Imperial College, UK
Jan Vitek           Purdue University, US (Co-chair)
Jim Waldo           SUN Microsystems, US
Herbert Wiklicky    Imperial College, UK

PROCEEDINGS

Proceedings of previous editions of this conference were published by Springer, in the Lecture Notes in Computer Science (LNCS) series and are available as LNCS volumes 1061, 1282, 1594, 1906, 2315, 2949, 3454 and 4038. Our intention is to continue this series.
Selected papers from COORDINATION will be invited to a special issue of The Science of Computer Programming journal.
A best student paper award will be given at the conference. To be eligible for consideration indicate on your submission if one or more of the paper's authors are students.

SUBMISSION INSTRUCTIONS

Authors are invited to submit full papers electronically in PDF before 27 January 2007. Further instructions are available from the conference web site. Submissions must be formatted according to the LNCS guidelines (see http://www.springer.de/comp/lncs/authors.html) and must not exceed 17 pages  in length (including all supplementary material). Papers that are not in  the requested format or exceed the mandated length will be rejected without going through the review process. Simultaneous or similar submissions to other conferences or journals are not allowed.

IMPORTANT DATES


Back to top

Argumentation and Non-Monotonic Reasoning
Tempe, Arizona, May 14-16, 2007

http://lia.deis.unibo.it/confs/ArgNMR/

Aims and Scope

Research on Argumentation and Nonmonotonic Reasoning began in full force in the early eighties. The first attempts showed how argumentation results in a very natural way of conceptualizing Commonsense Reasoning, appropriately reflecting its defeasible nature. Further work in the KR&R community has shown that argumentation provides a useful perspective for relating different nonmonotonic formalisms. More recently, argumentation has been revealed as a powerful conceptual tool for exploring the theoretical  foundations of reasoning and interaction in Autonomous Agents and Multiagent Systems.

This workshop will represent an opportunity for exchanging ideas on the fundamental theoretical basis and the design and implementation of argument-based systems including semantics, proof theory, applications to epistemic and practical reasoning, and the comparison of those systems with other types of nonmonotonic reasoning.

Topics

We solicit unpublished papers that present work on argumentation and nonmonotonic reasoning. We will privilege articles who emphasize connections between them. Relevant topics include, but are not limited to, the following:

Important Dates

Submissions

We welcome and encourage the submission of high quality, original papers, which have not been accepted for publication nor are currently under review for another journal or conference. Papers should be written in English, formatted according to the Springer LNCS style ( http://www.springer.com/comp/lncs/Authors.html ), and they should not exceed sixteen (16) pages including title page, figures, references, etc.

Proceedings and post-workshop publications

A printed volume with the proceedings will be available at the workshop. The proceedings of ArgNMR are also planned to form the basis for publishing a post-workshop volume, and/or a special issue of an international journal, subject to appropriate quality.

Programme Committee

Organization

Guillermo R. Simari, U. Nacional del Sur, Bahia Blanca, Argentina
Paolo Torroni, U. Bologna, Italy


Back to top

Correspondence and Equivalence of Nonmonotonic Theories
Tempe, Arizona, May 14-16, 2007

http://www.kr.tuwien.ac.at/cent2007/

The systematic study of intertheory relations such as strong and uniform equivalence has recently become an active sub-area of research in the field of LPNMR. Various kinds of correspondence relations that may hold between logic programs or between nonmonotonic theories have been analysed and shown to be of practical relevance for theory or program transformation, optimisation and modularity. Several systems for verifying such relations have been implemented. Different types of knowledge representation and reasoning tasks have begun to be explored in this context, such as abductive and inductive reasoning, causal reasoning, preference-based reasoning or reasoning about updates.

In the field of KRR more generally one notes an increased interest in intertheory relations that are relevant for ontologies, eg to describe modular ontologies or equivalences between ontologies or their parts. It may therefore be of interest to combine work in this area with work on equivalences between nonmonotonic rules. We are also interested in new results on equivalences between different ontology languages proposed for the Semantic Web, particularly in combinations with (nonmonotonic) rules. Frameworks for study might therefore include e.g. DL-programs or hybrid knowledge bases that provide combinations of a classical or description logic KB with logic programming rules.

The scope of the workshop covers all aspects of the study and application of intertheory relations in the LPNMR area. In particular it welcomes contributions that

Workshop topics

Workshop topics include, but are not limited to:

Submission and Presentation Format

Papers must be written in English and we encourage both original research papers or system descriptions. Submissions must not exceed twelve (12) pages including title page, references and figures, and must be formatted according to the Springer LNCS/LNAI authors' instructions, but also shorter papers will be considered. For system presentations a length of 4 pages is recommended. We will use easychair for your electronic submissions, the submission page is  accessible at:
        http://www.easychair.org/CENT2007/

Important Dates

Committees

Steering committee:
David Pearce
Axel Polleres
Agustin Valverde
Stefan Woltran
Programme Committee:
Wolfgang Faber
Katsumi Inoue
Vladimir Lifschitz
Fangzhen Lin
Emilia Oikarinen
Riccardo Rosati
Hans Tompits

Back to top

Conference on Theory and Applications of Satisfiability Testing
Lisbon, Portugal, May 28-31, 2007

http://sat07.ecs.soton.ac.uk

The International Conference on Theory and Applications of Satisfiability Testing is the primary annual meeting for researchers studying the propositional satisfiability problem (SAT). SAT'07 is the tenth SAT conference. SAT'07 features the SAT competition, the QBF competition, the Pseudo-Boolean evaluation, and the MAX-SAT  evaluation.

SCOPE

 Many hard combinatorial problems can be encoded into SAT. Therefore improvements on heuristics on the practical, as well as theoretical insights into SAT apply to a large range of real-world  problems. More specifically, many important practical verification  problems can be rephrased as SAT problems. This applies to verification problems in hardware and software. Thus SAT is becoming one of the most important core technologies to verify secure and  dependable systems. The topics of the conference span practical and  theoretical research on SAT and its applications and include but are not limited to proof systems, proof complexity, search algorithms, heuristics, analysis of algorithms, hard instances, randomized formulae, problem encodings, industrial applications, solvers,  simplifiers, tools, case studies and empirical results. SAT is interpreted in a rather broad sense: besides propositional satisfiability, it includes the domain of quantified boolean  formulae (QBF), constraints programming techniques (CSP) for word-level problems and their propositional encoding and particularly satisfiability modulo theories (SMT).

SUBMISSION

Submissions should contain original material and can either be regular research papers up to 14 pages or short papers up to 6 pages. Double submissions including submissions as short and long papers will be rejected.  Submissions should use the Springer LNCS style. All appendices, tables, figures and the bibliography must fit into the page limit. Submissions deviating from these requirements may be rejected without review. All accepted papers including short papers will be published in the proceedings of the conference. The conference proceedings will be published within Springer LNCS series. The submission page is http://www.easychair.org/SAT2007. Papers have to be submitted electronically as PDF files. Paper submissions are due by January 19.

PROGRAM CHAIRS

Joao Marques-Silva, University of Southampton, UK
Karem Sakallah, University of Michigan, USA

LOCAL CHAIR

Ines Lynce, Technical University of Lisbon, Portugal

INVITED SPEAKERS

Martin Davis, New York University, USA
Andrei Voronkov, University of Manchester, UK

IMPORTANT DATES

January 19, Paper Submission
March 2, Author Notification
March 16, Final Version

TECHNICAL PROGRAM COMMITTEE

  Fahiem Bacchus, University of Toronto, Canada
  Paul    Beame, University of Washington, USA
  Armin    Biere, Johannes Kepler University, Austria
  Adnan Darwiche, UCLA, USA
  Leonardo de Moura, Microsoft Research, USA
  Niklas Een, Cadence Design Systems, USA
  John Franco, University of Cincinnati, USA
  Ziyad Hanna, Intel Corp., USA
  Ian Gent, University of St. Andrews, UK
  Enrico Giunchiglia, Universita di Genova, Italy
  Carla Gomes, Cornell University, USA
  Aarti Gupta, NEC Research Labs, USA
  Edward A. Hirsch, Steklov Inst. of Mathematics, Russia
  Joonyoung Kim, Intel Corp., USA
  Hans Kleine-Buning, Univ. Paderborn, Germany
  James Kukula, Synopsys ATG, USA
  Oliver Kullmann, University of Wales Swansea, UK
  Daniel Le Berre, Universite d'Artois, France
  Chu-Min Li, Universite de Picardie, France
  Ines Lynce, Technical University of Lisbon, Portugal
  Panagiotis Manolios, Georgia Institute of Technology, USA
  Vasco Manquinho, Technical University of Lisbon, Portugal
  Slawomir Pilarski, Magma DA, USA
  Steve Prestwich, University College Cork, Ireland
  Roberto Sebastiani, Universita di Trento, Italy
  Hossein Sheini, CMU, USA
  Laurent Simon, Universite Paris Sud, France
  Ewald Speckenmeyer, Universitat Koln, Germany
  Ofer Strichman, Technion, Israel
  Stefan Szeider, Durham University, UK
  Armando Tacchella, Universita di Genova, Italy
  Allen Van Gelder, UC Santa Cruz, USA
  Hans van Maaren, Technische Universiteit Delft, Netherlands
  Toby Walsh, National ICT, Australia
  Lintao Zhang, Microsoft Research, USA

SAT COMPETITION

http://www.satcompetition.org/2007

  Daniel Le Berre, Universite d'Artois, France
  Laurent Simon, Universite Paris Sud, France
  Ewald Speckenmeyer, Universitat Koln, Germany
  Geoff Sutcliffe, University of Miami, USA
  Lintao Zhang, Microsoft Research, USA

QBF COMPETITION

http://www.qbflib.org/qbfeval

  Massimo Narizzano, Universita di Genova, Italy
  Luca Pulina, Universita di Genova, Italy
  Armando Tacchella, Universita di Genova, Italy

PSEUDO BOOLEAN EVALUATION

http://www.cril.univ-artois.fr/PB07

  Olivier Roussel, Universite d'Artois, France
  Vasco Manquinho, Technical University of Lisbon, Portugal

MAX-SAT EVALUATION

http://www.maxsat07.udl.es

  Josep Argelich, IIIA-CSIC, Spain
  Chu Min Li, Universite de Picardie, France
  Felip Manya, IIIA-CSIC, Spain
  Jordi Planes, IIIA-CSIC, Spain

Back to top

Workshop on Programming Multi-Agent Systems
Hawaii, USA, May 14-18, 2007

http://www.cs.uu.nl/ProMAS/

Even though the contributions of the multi-agent systems (MAS) community can make a significant impact in the development of open distributed systems, the techniques resulting from such contributions will only be widely adopted when suitable programming languages and development tools are available. Furthermore, such languages and tools must incorporate those techniques in a principled but practical way, so as to support the ever more complex task of professional programmers, in particular when the systems have to operate in dynamic environments.

The ProMAS workshop series aims to address the theoretical and practical programming issues related to developing and deploying multi-agent systems. In particular, ProMAS aims to address how multi-agent systems designs or specifications can be effectively implemented. In its previous editions, ProMAS constituted an invaluable occasion bringing together leading researchers from both academia and industry to discuss issues on the design of programming languages and tools for multi-agent systems. In particular, the workshop promotes the discussion and exchange of ideas concerning the techniques, concepts, requirements, and principles that are important for multi-agent programming technology.

We encourage the submission of proposals for programming languages and development tools that provide specific programming constructs to facilitate the implementation of the essential concepts used in multi-agent system analysis and specifications (e.g., mental attitudes, distribution, and social interaction). We also welcome submissions describing significant multi-agent applications, as well as agent programming tools that allow the integration of agents with legacy systems. Further, we are particularly interested in approaches or applications that show clearly the added-value of multi-agent programming, and explain why and how this technology should be adopted by designers and programmers both in academia and industry.

Specific topics for this workshop include, but are not limited to:

Important Dates:

Paper submission deadline: 5 February, 2007
Notifications of acceptance/rejection: 5 March, 2007
Camera-ready copies due: 19 March, 2007
Workshop Date: 14th/15th May, 2007 (TBA)

Submission Details:

Authors can submit their papers via a conference management system, available at the following address:

http://confs.deis-ce.unibo.it/ProMAS07

First, you will be asked to register into the system, then you will get a user id and a password that you can use to submit your paper. Papers should be formatted using Springer LNCS style (http://www.springer.de/comp/lncs/authors.html) and have a maximum of 15 pages.
Accepted papers will be published as a technical report and distributed among participants during the workshop. As was the case for previous
editions of the ProMAS workshop, we are planning to publish extended versions of selected papers as a volume of the Lecture Notes in Computer
Science series by Springer-Verlag.

Organising Committee:

Mehdi Dastani (Utrecht University, The Netherlands) http://www.cs.uu.nl/~mehdi
Amal El Fallah Seghrouchni (University of Paris VI, France) http://www-poleia.lip6.fr/~elfallah/
Alessandro Ricci (DEIS, Universita' di Bologna, Italy) http://lia.deis.unibo.it/~ari
Michael Winikoff (RMIT University, Australia) http://www.cs.rmit.edu.au/~winikoff

Steering Committee:

Rafael Bordini (University of Durham, UK)
Juergen Dix (Clausthal University of Technology, Germany)


Back to top

European Semantic Web Conference
Innsbruck, Austria, June 3-7, 2007

http://www.eswc2007.org/

The vision of the Semantic Web is to enhance today’s web via the exploitation of machine-processable meta data. The explicit representation of the semantics of data, enriched with domain theories (Ontologies), will enable a web that provides a qualitatively new level of service. It will weave together a large network of human knowledge and makes this knowledge machine-processable.  Various automated services will help the users to achieve their goals by accessing and processing information in machine-understandable form. This network of knowledge systems will ultimately lead to truly intelligent systems, which will be employed for various specialized reasoning subsystems to accomplish complex tasks. Many technologies and methodologies are being developed within Artificial Intelligence, Natural Language Processing, Machine Learning, Databases, Multimedia Systems, Distributed Systems, Software Engineering and Information Systems that can contribute towards the realization of this vision.

The 4th Annual European Semantic Web Conference (ESWC 2007) will present the latest results in research and application of Semantic Web technologies, including knowledge mark-up languages, Semantic Web services, and ontology management. ESWC 2007 will also feature a special industry-oriented event, a forum for gaining a better understanding of these new technologies and their business aspects. The conference will offer a tutorial program to get up to speed with European and global developments in this exciting new area.

Several distinguished scientists will give an invited talk at the conference; among them, prof. Stefano Ceri (Tech. Univ. of Milan, Italy), prof. Georg Gottlob (Oxford Univ., UK), prof. Ning Zhong (Maebashi Institute of Technology, Japan).

ESWC 2007 is sponsored by ESSI - a group of European Commission 6th Framework Programme projects. Together these projects aim to improve world-wide research and standardisation in the area of the Semantic Web. For more information on ESSI, please visit www.essi-cluster.org.

Submissions

ESWC 2007 welcomes the submission of excellent original research and application papers dealing with all aspects of the Semantic Web, particularly those related to the subject areas indicated by the topics below. We particularly encourage the submission of papers on industrial efforts and experiences with Semantic Web projects. We encourage theoretical, methodological, empirical, and applications papers.

The proceedings of this conference will be published in Springer’s Lecture Notes in Computer Science series. Paper submission and reviewing for ESWC 2007 will be electronic, via the conference Web site: http://www.eswc2007.org/.  Papers, due 15 December, 2006, should not exceed fifteen (15) pages in Springer LNCS format.

Papers may be accepted as (i) full papers, or as (ii) short papers with poster presentation.

Important Dates

Abstract Submission: 8 December, 2006
Full Paper Submission: 15 December, 2006
Notification: 26 February, 2007
Camera-Ready Papers due: 16 March, 2007
Conference: 3 - 7 June, 2007

Conference Topics of Interest

Topics of interest to the conference include (but are not restricted to):
We particularly welcome application papers which clearly show benefits of Semantic Web technologies in practical settings.

General Chair

Enrico Franconi (Free University of Bozen-Bolzano, Italy), franconi@inf.unibz.it

Program Chairs

Michael Kifer (State University of New York at Stony Brook, USA), kifer@cs.stonybrook.edu
Wolfgang May (Georg-August-Universität Göttingen, Germany), may@informatik.uni-goettingen.de

Back to top

International Colloquium on Automata, Languages and Programming
Wroclaw, Poland, July 9-13, 2007

http://icalp07.ii.uni.wroc.pl/

The 34th International Colloquium on Automata, Languages  and  Programming, the main conference and annual meeting  of  the  European  Association  for Theoretical Computer Science EATCS will take place from the 9th to the 13th of July 2007  in  Wroclaw,  Poland.   This  year  the  conference  will  be
colocated with 22nd Annual IEEE Symposium  on  Logic  in  Computer  Science (LICS 2007) and Logic Colloquium 2007.

Following the successful experience of the last two years, ICALP 2007  will complement the established structure of the  scientific  program  based  on Track A on Algorithms, Automata, Complexity  and  Games,  and  Track  B  on Logic, Semantics, and Theory of Programming, corresponding to the two  main streams of the journal Theoretical Computer Science, with a special Track C on Security and Cryptography Foundations.  The aim of Track C is to allow a deeper coverage  of  a  particular  topic, selected for each year's edition of ICALP on the basis  of  its  timeliness and   relevance   for   the   theoretical   computer   science   community.

Papers presenting original research on all aspects of theoretical  computer science are sought.  Typical but not  exclusive  topics  of  interest  are:

SUBMISSION GUIDELINES

Authors are invited to submit  an  extended  abstract  presenting  original research.   The  abstract  should  not  exceed   10   single-spaced   pages including title and abstract, but excluding  bibliography  and  appendices, should be in single-column format, use at least 11-point  fonts,  and  have reasonable margins. If the  authors  believe that more details are essential to substantiate the main claims of the  paper, they may include  a  clearly marked appendix that  will  be  read  at  the  discretion  of  the  program committee.   Submissions  deviating  significantly  from  these  guidelines risk rejection without consideration of their merits.

Submissions should indicate to which track  (A,  B,  or  C)  the  paper  is submitted.   No  simultaneous  submission  to  other  publication   outlets (either a conference or a journal) is allowed.

PROCEEDINGS

The proceedings will be published in the Lecture Notes in Computer Science Series by Springer-Verlag. The final version of each accepted paper must be submitted in electronic form conforming to the LNCS style and not exceeding 12 pages.

IMPORTANT DATES



Back to top

Computer Aided Verification
Berlin, Germany, July 3-7, 2007

http://www.cav2007.org/

Aims and Scope:

CAV'07 is the 19th in a series dedicated to the advancement of the theory and practice of computer-aided formal analysis methods for hardware and software systems. CAV considers it vital to continue its leadership in hardware verification, and maintain its recent momentum in software verification. The conference covers the spectrum from theoretical results to concrete applications, with an emphasis on practical verification tools and the algorithms and techniques that are needed for their implementation. The proceedings of the conference will be published in the Springer-Verlag Lecture Notes in Computer Science series. A selection of papers will be invited to a special issue of the International Journal on Formal Methods and System Design.

Topics of interest include:

Paper submission:

There are two categories of submissions:
  1. Regular papers. Submissions, not exceeding thirteen (13) pages using Springer's LNCS format, should contain original research, and sufficient detail to assess the merits and relevance of the contribution. For papers reporting experimental results, authors are strongly encouraged to make their data available with their submission. Submissions reporting on case studies in an industrial context are strongly invited, and should describe details, weaknesses and strength in sufficient depth. Simultaneous submission to other conferences with proceedings or submission of material that has already been published elsewhere is not allowed.
  2. Tool presentations. Submissions, not exceeding four (4) pages using Springer's LNCS format, should describe the implemented tool and its novel features. A demonstration is expected to accompany a tool presentation. Papers describing tools that have already been presented in this conference before will be accepted only if significant and clear enhancements to the tool are reported and implemented.
Information concerning the procedure for submissions will be available on the conference home page:
                 http://www.cav2007.org
Submissions will be evaluated by the program committee for inclusion in the proceedings, which will be published by Springer-Verlag in the LNCS series. Papers exceeding the stated maximum length or submitted after January 28, 2007 run the risk of rejection without review.
On an experimental basis for this year, authors will be granted access to the text content of their reviews during the review process. Authors will be given a short time period in which to submit feedback, which may (at the PC's discretion) be taken into account in the decision process. Strict guidelines on length and content of feedback will be provided to the authors.

Important dates:

       Paper submission (firm): January 28, 2007
       Author feedback period: March 9-11, 2007
       Notification of acceptance: March 23, 2007
       Final version due: April 20, 2007

Program Chairs:

     Werner Damm, U Oldenburg, damm at informatik.uni-oldenburg.de
     Holger Hermanns, Saarland U,  hermanns at cs.uni-sb.de

Program Committee:

     Parosh Abdullah, Uppsala U
     Rajeev Alur, U Penn
     Sergey Berezin, Synopsis
     Armin Biere, JKU Linz
     Roderick Bloem, TU Graz
     Ahmed Bouajjani, U Paris 7
     Alessandro Cimatti, IRST Trento
     Edmund M. Clarke, CMU
     Werner Damm, CvO U Oldenburg
     E Allen Emerson, U Texas (tbc.)
     Limor Fix, Intel
     Patrice Godefroid, Microsoft Research
     Ganesh Gopalakrishnan, U of Utah
     Susanne Graf, Verimag
     Orna Grumberg, Technion
     Holger Hermanns, Saarland U
     Robert Jones, Intel
     Orna Kupferman, Hebrew U
     Robert Kurshan, Cadence
     John Lygeros, ETH Zuerich (tbc.)
     Tom Melham, Oxford U
     Ken McMillan, Cadence
     Jakob Rehof, U Dortmund
     Koushik Sen, UC Berkeley
     Fabio Somenzi, U Boulder
     Ashish Tiwari, SRI International
     Frits Vaandrager, U Nijmegen
     Yaron Wolfstal, IBM Haifa

Back to top

Workshop on Software Engineering for Answer Set Programming
Tempe, Arizona, May 14-16, 2007

Over the last ten years Answer Set Programming (ASP) has grown from a pure theoretical knowledge representation and reasoning formalism to a computational approach with a very strong formal backing. At present, ASP is seen as the computational embodiment of non-monotonic reasoning incorporating techniques of databases, knowledge representation, logic and constraint programming. ASP has become an appealing tool for knowledge representation and reasoning and thanks
to the increasing efficiency of the implementations of ASP solvers, the field has now started to tackle the first industrially relevant applications.

Writing complex programs in any language is not an easy task, with ASP being no exception. Most of the modern popular programming languages have an abundance of tools and development methodologies to facilitate and improve the coding process. Given the differences in for example language design, execution, and application domains for languages such as Java and C++, the existing methodologies and tools that are available are mostly not suitable for ASP.  Therefore development tools and software engineering methodologies specifically designed for ASP are required.

This workshop aims to bring together researchers who are currently working on or are interested in the development of dedicated tools, techniques, and methodologies to facilitate the development of answer set programs.

Topics

Authors are invited to submit original research or system description papers on software engineering tools or techniques for answer set programming.
The list of topics of interest includes but is not limited to:

Workshop co-chairs

Marina De Vos, University of Bath, UK (mdv@cs.bath.ac.uk)
Torsten Schaub, University of Potsdam, (torsten@cs.uni-potsdam.de)

Program Committee

Tommi Syrjanen, Helsinki University of Technology, Finland
Enrico Pontelli, New Mexico State University, US
Tran Cao Son, New Mexico State University, US
Stefan Woltran, Technical University of Vienna, Austria
Martin Brain, University of Bath, UK
Richard Watson, Texas Tech University, US
Wolfgang Faber, University of Calabria, Italy
Ken Satoh, National Institute of Informatics, Japan
Yan Zhang, University of Western Sydney, Australia

Submission Details

Submitted articles will undergo peer-review.  The paper must be in Springer LNCS format and must not exceed 15 pages in total. Submission should be sent as a pdf to both workshop chairs. Formal paper proceedings will be available during the conference and will also be published online.

Important Dates

Paper Submission: 8 February 2006
Paper Acceptance/Rejection Notification: 12 March 2006
Camera Ready Papers: 20 April 2006

Back to top

Modeling and Using Context
Roskilde University, Denmark, August 20-24, 2007

http://context-07.ruc.dk/

The Sixth International and Interdisciplinary Conference on Modeling and Using Context (CONTEXT'07) will provide a forum for presenting and discussing high-quality research and applications on context. The conference will include paper and poster presentations, system demonstrations, workshops, and a doctoral consortium. The conference invites researchers and practitioners to share insights and cutting-edge results from a wide range of disciplines including:
Context affects a wide range of activities in humans and animals as well as in artificial agents and other systems. The importance of context is widely acknowledged, and "context" has become an area of study in its own right, as evidenced by numerous workshops, symposia, seminars, and conferences on this area. CONTEXT, the oldest conference series focusing on context, is unique in its emphasis on interdisciplinary research. Previous CONTEXT conferences have been held in Rio de Janeiro, Brazil (CONTEXT'97), Trento, Italy (CONTEXT'99, LNCS 1688), Dundee, Scotland (CONTEXT'01, LNCS 2116), Palo Alto, U.S.A. (CONTEXT'03, LNCS 2680), and Paris, France (CONTEXT'05, LNCS 3554). Each of these brought together researchers and practitioners from many disparate fields to discuss and report on context-related research and projects.

TOPICS OF INTEREST

The following list illustrates sample research areas whose perspectives on context are solicited for the conference. This is not an exhaustive list, and contributions addressing context from other perspectives are welcome. The conference scope includes the contextual issues related to areas such as:

CONFERENCE EVENTS

CONTEXT'07 will include paper presentation sessions, a poster and demonstration session, two days of workshops, and a doctoral consortium. Workshops and the doctoral consortium will circulate separate calls for papers and participation, which will also be available at the conference web site.

ACCEPTANCE CRITERIA AND SUBMISSION CATEGORIES

Because CONTEXT'07 will be an interdisciplinary forum, all submissions will be evaluated both for their technical merit and for their accessibility to an interdisciplinary audience. Works that transcend disciplinary boundaries are especially encouraged.

Submissions may be for full papers, poster abstracts, or demonstration abstracts. Full papers will be accepted either for oral presentation or for presentation at a poster session. All accepted full paper submissions will be published in the proceedings. Accepted posters and demonstrations will be presented at the poster session, and the associated abstracts will be published in a brochure distributed to attendees. For additional details see the conference web site.

For a paper to appear in the proceedings, at least one author must register for the conference by the deadline for camera-ready copy.

SUBMISSION PROCEDURES

Papers must be submitted electronically as PDF files. Submissions cannot exceed 14 pages in the Springer LNAI format. Detailed formatting and submissions instructions, as well as LaTeX and Word templates, will be available in the author instructions section of the conference Web site.

All accepted authors will have the option of presenting a system demonstration at the poster session. Authors wishing to present a demonstration without an accompanying paper must submit a demonstration abstract. Demonstration abstracts should describe cutting-edge systems not described in paper submissions. Demonstration abstracts should summarize the system's behavior and significance, and should include at least one screen shot. If desired, they may also include the URL of an informal video on the web. Demonstration abstracts should be at most 2 pages long.

MULTIPLE SUBMISSIONS POLICY

CONTEXT'07 will not accept any paper which, at the time of submission, is under review for or has already been published or accepted for publication in a journal or another conference. This restriction does not apply to submissions for workshops and other venues with a limited audience.

IMPORTANT DATES

Deadline for workshop proposal submissions                   January 31, 2007
Deadline for paper submissions                               March 15, 2007
Deadline for poster and demonstration abstract submissions   March 15, 2007
Notification of acceptance/rejection for paper submissions   May 7, 2007
Suggested deadline for workshop paper submission             May 15, 2007
Deadline for final versions of accepted papers               May 31, 2007
Workshop days                                            August 20-21, 2007
Main conference (including poster and demo sessions)     August 22-24, 2007

CONFERENCE ORGANIZERS

CONFERENCE CHAIR
    Boicho Kokinov, New Bulgarian University, Bulgaria

PROGRAM CO-CHAIRS
    Daniel C. Richardson, UCSC, USA
    Thomas R. Roth-Berghofer, DFKI, Germany
    Laure Vieu, IRIT-CNRS, France, and ISTC-CNR, Italy

WORKSHOPS CHAIR
    Stefan Schulz, The e-Spirit Company GmbH, Dortmund, Germany

ORGANIZING COMMITTEE
    Henning Christiansen, Roskilde University, Denmark (Chair)
    Troels Andreasen, Roskilde University, Denmark
    John Gallagher, Roskilde University, Denmark
    Mads Rosendahl, Roskilde University, Denmark
    Jørgen Villadsen, Technical University of Denmark (Publicity Chair)

STEERING COMMITTEE
    Chiara Ghidini, ITC-irst, Italy (Chair)
    Varol Akman, Bilkent University, Turkey
    Massimo Benerecetti, University of Naples, Italy
    Paolo Bouquet, University of Trento, Italy
    Patrick Brézillon, University of Paris 6, France
    Anind Dey, Carnegie Mellon University, USA
    Fausto Giunchiglia, ITC-irst, Italy
    Boicho Kokinov, New Bulgarian University, Bulgaria
    David Leake, Indiana University, USA
    Luciano Serafini, Trentino Cultural Institute (ITC), Italy
    Rich Thomason, University of Michigan, USA
    Roy Turner, University of Maine, USA
    Roger A. Young, University of Dundee, UK

FOR ADDITIONAL INFORMATION

Please see http://context-07.ruc.dk/ for additional information on the conference, complete committee information, and contacts for questions.

Henning Christiansen
professor, ph.d.
Computer Science Section, Bldg. 42.1
Roskilde University
P.O.Box 260, DK-4000 Roskilde, DENMARK

Back to top

Coordinating Agents' Plans and Schedules
Honolulu, Hawaii, May 14-15, 2007

http://www.st.ewi.tudelft.nl/~mathijs/caps07

Description

Multiagent planning is concerned with planning by (and for) multiple agents. Nowadays a major issue in multiagent planning is the coordination of single-agent planners. Here, coordination is studied not only during the execution of plans, but also in the (pre)-planning phase.

A wide range of real applications could benefit from such coordinated planning technology, for example, in transportation and logistics, health care management, space missions, military tasks, and disaster management. Also, planning in the context of human-computer (or human-robot) interaction is inherently a multiagent planning task. Coordinating the plans of the involved entities up front has the potential to improve the efficiency of the whole system. However, currently, a great amount of research seems to focus solely on either planning, or the coordination of agents without the context of a plan.

The purpose of this workshop is to address the problems that arise when coordinating the plans and schedules of multiple agents. We therefore solicit papers with original work, as well as position statements or surveys that relate to one or more of the following questions:
Paper should clarify their relevance to these questions.
To summarize, specific topics of interest include (butvare not limited to):

Paper submissions

Authors are encouraged to submit papers or position statements electronically in PDF format. Submitted papers should be formatted according to ACM
specifications. ACM style guides, as well as templates and style sheets for Microsoft Word, WordPerfect, and LaTeX can be found at the ACM webpage.
(http://www.acm.org/sigs/pubs/proceed/template.html)
Papers should be no more than 8 pages. Please submit your paper at the workshop website no later than February 5, 2007.

Accepted papers will be distributed as informal working notes, printed copies of which will be available at the workshop. Depending on the quality of the submissions, we are planning to select a subset of the papers, and give the authors of these papers the opportunity to publish a revised version of their workshop paper in post-proceedings (e.g. by IOS Press or Springer).

Important dates

Program committee

Organizers
Program committee

Back to top

International Conference on Automated Deducation
Bremen, Germany, July 17-20, 2007

http://www.cadeconference.org/meetings/cade21

CADE is the major forum for the presentation of research in all aspects of automated deduction.

Paper submission:

Submission is electronic in PostScript or PDF format via the EasyChair system.  Submitted papers must conform to the Springer LNCS style, preferrably using LaTeX2e and the Springer llncs class files. Submissions can be full papers, for work on foundations, applications, or implementation techniques (15 pages), as well as system descriptions (5 pages), for describing publicly available systems.  The proceedings will be published in the Springer LNCS series.  For further information and submission instructions, see http://www.cadeconference.org/meetings/cade21

Important dates:

    Submission of title and abstract: February 16, 2007
    Submission papers: February 23, 2007
    Notification of acceptance: April 16, 2007
    Final version due: May 11, 2007
    Workshops and tutorials: July 15-16, 2007
    Conference: July 17-20, 2007

Conference Chair:Michael Kohlhase (IUB)
Workshop and Tutorial Chair: Christoph Benzmueller (Saarland Univ)
Program Chair: Frank Pfenning (CMU)

Program Committee:
    David Basin             ETH Zuerich
    Christoph Benzmueller   Cambridge University
    Maria Paola Bonacina    Universita degli Studi di Verona
    Simon Colton            Imperial College London
    Gilles Dowek            Ecole Polytechnique
    Rajeev Gore             Australian National University
    Jean Goubault-Larrecq   ENS Cachan
    Reiner Haehnle          Chalmers University of Technology
    John Harrison           Intel Corporation
    Michael Kohlhase        International University Bremen
    Dale Miller             INRIA-Futurs and Ecole Polytechnique
    Tobias Nipkow           Technical University Munich
    Hans de Nivelle         MPII Saarbruecken
    Albert Oliveras         Technical University of Catalonia
    Frank Pfenning (chair)  Carnegie Mellon University
    Ulrike Sattler          University of Manchester
    Manfred Schmidt-Schauss University of Frankfurt
    Cesare Tinelli          University of Iowa
    Andrei Voronkov         University of Manchester
    Toby Walsh              National ICT Australia and Univ of New South Wales

Back to top